projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc6d678) | patch
stubdom: fix "make distclean" regarding gmp
authorJuergen Gross <jgross@suse.com>
Fri, 28 Oct 2016 14:53:20 +0000 (16:53 +0200)
committerWei Liu <wei.liu2@citrix.com>
Mon, 31 Oct 2016 10:18:03 +0000 (10:18 +0000)
commit123ef76fdb0932dad5c621734eb8992815f6a757
tree8a011c25b6547cbaf4fabec32aec0cf7a9cfbc3etree | snapshot
parentdc6d67804fbf043e53f8f7805c7a39b279a47f5acommit | diff
stubdom: fix "make distclean" regarding gmp

make distclean tries to remove stubdom/gmp-4.3.2.tar.gz, while the
downloaded file is stubdom/gmp-4.3.2.tar.bz2

Signed-off-by: Juergen Gross <jgross@suse.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
Release-acked-by: Wei Liu <wei.liu2@citrix.com>
stubdom/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.